inverse image of a normal subgroup